Model-based diagnosis of hardware designs
نویسندگان
چکیده
منابع مشابه
Model-Based Diagnosis of Hardware Designs
The state of the art in hardware design is the use of hardware description languages such as VHDL (Very High Speed Integrated Circuit Hardware Description Language). The designs given by VHDL programs are reened up to the point where the physical realization of the new circuit or board can be synthesized automatically. The designs are tested by simulating them and comparing their output to that...
متن کاملModel-Based Diagnosis of Hardware Description Languages
This paper discusses the use of fault models for the diagnosis of hardware designs written in the VHDL hardware description language. VHDL designs are concurrent programs consisting of hundreds of thousands of lines of source code, whose testing and debugging is a very time-consuming process. Building on an abstract representation that allows the search for errors in even the largest VHDL progr...
متن کاملA Model-Based Tool for Finding Faults in Hardware Designs
The state of the art in integrated circuit design is the use of special hardware description languages such as VHDL. The designs programmed in VHDL are reened up to the point where the physical realization of the new circuit or board can be created automatically. Before that stage is reached, the designs are tested by simulating them and comparing their output to that prescribed by the speciica...
متن کاملInvestigation of Bakhtiari Carpet Designs based on Kaplan-Gestalt Model
Carpet is one of the most important textiles man-made. The rug represents the aspirations and interests of the people who weave it. Therefore, recognizing the image in carpets can be a window into recognizing these ideals. In this research, Bakhtiari rug is investigated. Bakhtiari rugs (toranji, yalameh and cetral) are textiles produced by Bakhtiari people of choharmahal-o-bakhtiari province. T...
متن کاملModel Checking Memory-Related Properties of Hardware/Software Co-designs
Memory safety plays a crucial role in concurrent hardware/software systems and must be guaranteed under all circumstances. Although there exist some approaches for complete verification that can cope with both hardware and software and their interplay, none of them supports pointers or memory. To overcome this problem, we present a novel approach for model checking memory-related properties of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 1999
ISSN: 0004-3702
DOI: 10.1016/s0004-3702(99)00034-x